Corrigendum: Around -independence
نویسندگان
چکیده
منابع مشابه
Independence results around constructive ZF
When making the transition from a classical to an intuitionistic system, one is compelled to reconsider the axioms chosen. For instance, it would be natural to re-formulate those that imply Excluded Middle. In the context of set theory, typically the Axiom of Foundation is substituted by the Axiom of Set Induction, the two being equivalent classically but the latter not yielding Excluded Middle...
متن کاملCORRIGENDUM Order Independence for Iterated Weak Dominance
In Marx and Swinkels (1997), we identify a condition on a normal form game, transference of decisionmaker indifference (TDI), under which the order of elimination by weak dominance does not matter. That is, regardless of the order in which weakly dominated strategies are removed, any two full reductions—games in which no further removals are possible—are the same up to the addition or removal o...
متن کاملGirth, minimum degree, independence, and broadcast independence
An independent broadcast on a connected graph $G$is a function $f:V(G)to mathbb{N}_0$such that, for every vertex $x$ of $G$, the value $f(x)$ is at most the eccentricity of $x$ in $G$,and $f(x)>0$ implies that $f(y)=0$ for every vertex $y$ of $G$ within distance at most $f(x)$ from $x$.The broadcast independence number $alpha_b(G)$ of $G$is the largest weight $sumlimits_{xin V(G)}f(x)$of an ind...
متن کاملPropositional Independence Conditional independence
Independence – the study of what is relevant to a given problem of reasoning – is an important AI topic. In this paper, we investigate several notions of conditional independence in propositional logic: Darwiche and Pearl’s conditional independence, and two more restricted forms of it, called strong conditional independence and perfect conditional independence. Many characterizations and proper...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Compositio Mathematica
سال: 2020
ISSN: 0010-437X,1570-5846
DOI: 10.1112/s0010437x20007228